Proving [the Theory of] Exclusion