VALID_TWO_SIDED_INVERSE
