FORMAL SHIRTS FROM OBJECT