Send a message to Tox with Isabelle