That no argument has both a proof in the proof system and a counterexample in the model system.

That every argument that has a proof in the proof system also has a counterexample in the model system.

That the logic determined by the proof system is stronger than the logic determined by the model system.

That the proof system and the model system determine the same logic as each other.