FORMAL SHIRTS FROM CDLP