delete ---> FORMAL SYSTEMS



input number: