Send a message to Formalib