You may want to jump ahead to HOP Chapter 4, section 4.5, "The Semipredicate Problem". It talks about "alternative undefs", and returning a reference for a guaranteed distinct value.