[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] Sequents and entailment rather than implication and universal quantification. coherent mathematics category: redirected to nlab