Software Development:

Learn how to produce reliable software.
Reliable software for solving optimization problem X.

Invent a virtual scientific community playing the
Scientific Community Game = Specker Challenge Game. 

What to learn about SCG:
Rules of a scientific community.
Keeps track of hypotheses.

Glossary:

new = old
the hypothesis = the challenge
propose = offer 
to challenge = to accept 

new:
oppose = (strengthen | challenge)

The virtual scientists must stay active.

They must propose and oppose at least one hypothesis in each round.
An activity sequence of a virtual scientist Alice
is described by the regular expression:
AliceActivity = propose (STRENGTHEN | CHALLENGE provide SOLVE)
Activities in only capital letters are done by her friend Bob.

Strengthening a hypothesis is a sort of opposing an existing
hypothesis and proposing a new (stronger) hypothesis at the same time.
That's why strengthening qualifies both as proposing and opposing
at the same time.

A virtual scientist is active during a round if it engages in:
(propose and challenge) or strengthen.