trans doesn't need homogeneous equalities