Identity and quining in UDT