a // b c /\ d ⫽ e.{x} ∧ f