Send a message to Formal TICs