Send a message to COQ