Ivory model check