Some Remarks on Relations between Proofs and Games