Shouldn't this be a concept level check?