If-and-Only-If Proof Protocol for Conceptual Framework Development | If-and-Only-If Proof | Mathematics | NEROS