:: deftheorem defines fuzzy CGAMES_1:def 18 :
for g being ConwayGame holds
( g is fuzzy iff ( not g is nonnegative & not g is nonpositive ) );