Almost finished implementing Minirethink