Combinatorial Proof Protocol for Conceptual Framework Development | Combinatorial Proof | Mathematics | NEROS