Send a message to Formal Algorithm