Send a message to Lean with Luke