Two remarks concerning Menger's and Schultz' postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions