semantic check completed?