A Bit More Formal Thrifting