Due to unmeasured confounding, it is often not possible to identify causal
effects from a postulated model. Nevertheless, we can ask for partial
identification, which usually boils down to finding upper and lower bounds of a
causal quantity of interest derived from all solutions compatible with the
encoded structural assumptions. One appealing way to derive