→: "P" × "P" → "P"