A Formal Introduction to Your Roof