:: deftheorem defines negative CGAMES_1:def 20 :
for g being ConwayGame holds
( g is negative iff ( g is nonpositive & not g is zero ) );