FORMAL SHIRTS FROM VEGANCODE