delete ---> Stegmüller
input number: