ConwayZero in ConwayDay 0 by Th2, TARSKI:def 1;
hence ConwayZero is ConwayGame-like ; :: thesis: verum