Hamming's exercise in SASL. Personal Note EWD792, see http://www.cs.utexas.edu/users/EWD (1981)

by E W Dijkstra