p{ Φ x Φ }q