There is a conflict between two goals we are trying to pursue: (1) In the interest of low instantiation overhead, it is desirable to have a design that allows engines to perform as much work as ...