An actually logical Base-Infinity. | ScratchStats