Added [flip] and [isequiv_flip].