https://123dok.net/document/y8gn3p9w-appears-mit-laboratory-computer-science-technical-report-april.html