Reasoning and proof geometry