Finished Semantic Checking