A Game Semantics for System P