(b) Added 3 strategies for Conqueue, two of which is verifiable.
   The best strategy still has one unverified (but simple) axiom
   that relies on the acyclicity of streams
(c) Improved the model and fixed some bugs.