TODO: Cantor export algorithm.