Exhaustiveness checking on pattern matches is a big thing that helps with correctness though, so it seems like it should have been in his list.