model-adequacy-checking