Before revision: In the first part, the author describes the three different types of propositions that can be used.
After revision: In the first part, the author describes the three different types of propositions that will be used.