Send a message to LEAN in Progress