A style guide that, if followed, makes your claims compilable.