“A constructed class of strategies that solves the 'grain of truth' problem is wide enough to contain all computable strategies.”