We lift the multiple conclusion sequents from the previous lecture to include universal and existential quantification and discuss how to achieve a sound formulation of the existential right rule.
The system as shown in class is sound, but not complete in its treatment of conjunction in the succedent (thanks to Kevin Watkins for the counter-example). Fixes which keep the system complete are currently under consideration.