see also: "On the fact that the Atlantic Ocean has two sides" (1982)<p><a href="https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD611.html" rel="nofollow">https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E...</a>