optimistic oracle, strictness of Err removed