Terminal Uniqueness