Rest in Lean by PRAGAS RARE