Deductive Reasoning

WIP