semantic checking done?