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