Completed the proof of uniqueness (still a universe inconsistency).