Return to Article Details Functors of Assertion and Sequential Conjunction Download Download PDF