Send a message to Team Vikings Coq