delete ---> ASSOCIATION FOR SYMBOLIC LOGIC
input number: