mods to leibniz