Added support for Goedel hashing.