up to LPN exercise 6.5 [partially incomplete]

at e 6.5, my predicate is recursively obnoxious!