tetrationato_introd.pdf