Send a message to Lean And Primal