Title: The construction and analysis of geometrical propositions