Send a message to IsabelleB