Making Sure Thick Model Is Satisfied ...