FORMAL SHIRTS FROM ACTITUDE