Add 'missing propositions' checkbox.