inversional equivalence