Removed concept_check headers