Prequential probability: game-theoretic = measure theoretic

Re-assign community