Naive question: game semantics vs game theory