Next, there are assumptions that the authors consider to further bound the counterfactuals and the unconditional probabilities:
Assumption 1: Monotone Treatment Selection (MTS)
The first assumption puts bounds on the counterfactual conditional probabilities. Applied to our example the MTS assumption states that children that participate in SNAP have weakly worse latent health outcomes than non-participating children: