Send a message to Feeling better with Isabelle