TUG_edit_paul