avoid (is)equiv_ap