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