Send a message to Formal programming