[BurnerOptical]

This one hurts the most, esp. in fields you're not familiar.

[hnfong]

Well, at least these days an actually trivial (to a domain expert) proof can be delegated to a frontier model...