Send a message to ProReal