FORMAL SHIRTS FROM HCR