Send a message to Mathelogic$