terminaluniqueness public
top