Send a message to Isabelle tutorial- write, read and express