Methodology - Leaving only what is Fundamental to the logic of the Proposition.