Send a message to Mizar