FORMAL SHIRTS FROM SPEKTRE