Extend theories (dev.)