TBH: Throwback Haas Formal