Send a message to FormalProf