Small update of THF encoding of the ontological argument.