Before revision: Thus the the projector used to represent the proposition (i.e.
After revision: Thus the projector used to represent the proposition (i.e.