Specs Should Be Equations, Not Essays