FORMAL SHIRTS FROM PMDS