Semantic check compiles through parts that I've checked.