Started working on modular reification.