Semantic check almost done.