Andrew ZonenbergThe existence of toblerone implies the existence of related triangular hydrochocolate chains such as the base alkane (toblerane), as well as the closed ring form (cyclotoblerone)
jimfl@azonenberg Toblerone implies Toblersucc(one) implies Toblersucc(succ(one)). By induction, then, Toblerinfinity. QED