aft = fat ⇒ af = fa.