delete ---> AXIOM
input number: