FORMAL SHIRTS FROM REPLAY