Model criteria -- formal approach


slide: Coherent models -- criteria