nominality is back. dummy natural numbers.