FORMAL SHIRTS FROM OSOI