Send a message to Lean 13