Post #4274060

@FishFace@ioc.exchange Yes, I've just restarted Tao's book and the example is from the appendix which covers basic logic and quantifiers