foreknows
not defined yet