Stories in Syntax, Truth in Equations