More semantic checking.