oracle pseudocode in its current state