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.

<P>
The game goal is to find the strongest claims and corresponding
algorithms in domain D to defend them.

<P>
alternative: higher reputation = better health

<P>
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.