#its first few chapters are about logic and axiomatic systems and euclid's elements

[thisisnotmyname]

no worries. I, too, find it extremely impressive when I see people solving hard oly geo problems, especially when they reduce those to 2-3 claims that seems approachable, sometimes even trivial. like, how did you even notice this thing in a diagram so cluttered?

that being said, I hate it when someone posts on an AoPS thread something that goes along the line of "this is a well-known property of X(57)". this is why I said I understand the hatred.

it's acceptable to expect your readers to know a few well-known results or to look them up, but looking at solutions that bring out the ETC or some very specific property of the sharkydevil point (cool name tho), I find, is discouraging. it's worse when you find it's almost impossible to solve a problem in reasonable time without having previous knowledge about stuff like this or resorting to almost mindless bashing.

I know there are olympiad geometry connoisseurs who enjoy working with these obscure configurations. it's just not my cup of tea.

Actually the ugliest mathematical objects is every olympiad geometry problem but they’re not even mathematical objects to me