FORMAL SHIRTS FROM SATISFY