FORMAL SHIRTS FROM KAOS