modular-reasoning