Send a message to Lean with Liz