Delete Formal Research