FORMAL SHIRTS FROM ATOMIC