The nonce is only 32 bits; could there come a day with the difficulty is high enough that no nonce works?