Sites that p{ Φ x Φ }q follows