1 + 1 = 1 by R. Boer-Rookhuizen