Properties of the 2-universal model for formulas in two propositional variables in intuitionistic propositional logic are discussed, in particular, the structure of the exact (projective) formulas in there.