Added [ap_equiv]: an equivalence induces an equivalence on paths.