From https://www.cs.utexas.edu/~EWD/transcriptions/EWD08xx/EWD898.html

(This is the source of the famous "Can Submarines Swim" quote.)