https://1library.org/document/z121gevy-ordinal-sums-of-de-morgan-triples.html