:: deftheorem defines ConwayZero CGAMES_1:def 1 :
ConwayZero = left-right(# {},{} #);