Proof by Cases Protocol for Conceptual Framework Development | Proof by Cases | Mathematics | NEROS