Send a message to Lean7