Proof that lookup always fails -- or am I misunderstanding what I am proving???

asking @TiarkRompf