Input (grade 9): Ï Î Î "Î Î Î Î) is a formula which is true in every possible interpretation.
Output (grade 12): Ï Î Î "Î Î Î Î) is a propositional formula that is true under any possible interpretation.