apt = pat ⇒ ap = pa.