baby step: invert-fun
baby step, eval app
finishing app case, but it still shows up as missing case, so need to debug