Current Status: Poking at the intersection of ITPs and ATPs.