Send a message to Alice Lean