Title: Modular reasoning