i wish that formal semantics of programming languages were more widely known and appreciated.

because it seems everyone has opinions on PL syntax but nobody ever bothers to learn about semantics.