The New Formal Lookbook