The out-of-context quotes by Tony Hoare are at least questionable.