Efficient Constant Uniquing.