the_Tree_of ConwayZero = {ConwayZero} by Th2, ZFMISC_1:33;