If it's worth saying, but not worth its own post, even in Discussion, it goes here.
There is a mindset prerequisite. Some people get forever lost/bored the first time the book talks about valid mathematical statements as well-formed finite strings of symbols.
If it's worth saying, but not worth its own post, even in Discussion, it goes here.