Commutative Diagram Chase Validation and Optimization Protocol | Commutative Diagram Chase | Mathematics | NEROS