the second assumption is consistency of  formula_13 for formula_14 and the third assumption is the nonzero compliance for each strata, which is an extension of iv assumption of nonzero compliance over population. this is a reasonable assumption as if compliance score is zero for certain strata, the inverse of it would be infinite.