Reasoning and Sense Making with Pythagoras