What is essential in a correct apparent || apparent-variable notation is this:– (1) it must mention a type of propositions; (2) it must show which components of a proposition of this type are constants.