changed the way inversion is done in MoreTactics