Started doing semantic checking.