Send a message to Lean Simplified