Got 'leftmost impl' working, now I need to get 'leftmost ins'.