FORMAL SHIRTS FROM G-LAB