In SCG(D), scholars collaborate and compete in two-player games and propose and oppose claims in domain D. The claims are predicting the outcome of refutation protocols exchanging instances and solutions between scholars. Scholars gain reputation by successfully defending their claims or by successfully refuting claims of others.
The game goal is to find the strongest claims and corresponding algorithms in domain D to defend them.
alternative: higher reputation = better health
Mathematical claims expressible in predicate logic can be easily expressed in SCG. But SCG allows claims with secrets which go beyond what is expressible in predicate logic.