Reasoning from First Principles