Mathematics Through Reasoning