Before revision: We use the letters and to range over list of propositions , also called contexts.
After revision: We use the letters and to range over lists of propositions , also called contexts.