delete ---> CNF PROPERTIES
input number: