Aleph Null and TREE(3) plus inf*3 | ScratchStats