delete ---> LINEAR LOGIC



input number: