16.4.16.
φx ∙ ψy