Principal stratificationgroups units by the joint values of their potential values of an intermediate variable under every treatment assignment. With a binary instrument and binary treatment, the principal strata are always-takers, never-takers, compliers, and defiers.
