delete ---> LINEAR LOGIC
input number: