make set theory compliant with "how to read this book", see #137