Send a message to N Lean