Recovery Of LeanO (Explicit)

Aligned (Explicit)