delete ---> Stegmüller



input number: