take ConwayZero ; :: thesis: ConwayZero is ConwayGame-like
thus ConwayZero is ConwayGame-like ; :: thesis: verum