Modular logic.