Maybe an omnipotent cryptographer would find flaws in SHA-256, but then they could design a better function and include it in the book.