Send a message to Coq localita