https://mammouthe.blogspot.com/2020/01/read-logic-and-set-theory-with.html