I know this library, my old 18.02 professor wrote it originally.