A Fresh Approach to Formal.