Update for api changes in lvish 5cbef15c9a3d5d6973a0
Learning how to knock out impossible proof cases
Ugh, need to learn some more proof automation