FORMAL SHIRTS FROM NUMBERING