ByNobleID
    Refutation of the formal system proposed for proof by the founders of the Evolution 2.0 award. | NobleID