Lenin-Mario edition.