hmm, this might be simpler if we were saying: is this item the first, last, or inside the list. We could do this if we were reasoning about its index and the total index? just a thought...