Title of a 1970 paper by Hoare. I haven't seen the actual paper yet, but this title expresses perfectly a concern of some people, including myself and Stepanov.
If someone has an access to the paper, please put it here.
I'll try to enrich this page soon.