Simon ha demostrado que existe un oráculo relativo a el cual UOWHF existe, pero no CRHF.