Send a message to lean until