New modular lsd, corrected unsoundness bug.