This work presents a procedural account of the so-called projection problem for presupposition. It is assumed that presuppositions embedded in complex sentences are subject to no projection rules or ad-hoc conditions whatever, but are in fact satisfied in appropriate contexts in…