Compile Truth