primitive concept checking