This is a great point. Look at how many IETF standards contain pseudocode. Also, in mathematics, many proofs contain a decision procedure or a parametric algo

This is a great point. Look at how many IETF standards contain pseudocode. Also, in mathematics, many proofs contain a decision procedure or a parametric algorithm for constructing a counterexample.