Dictionary nonuniqueness

The lapse comparison is a non-identification test, not a replacement of the main unit-lapse freeze. These are the same kinds of distinctions recorded in I-B CheungIB; the proof here does not assume a metric-reconstruction theorem.