proof of lookupexp uniqueness restored