Formalize Treausre.toString()