The main Tora engine.