[euiq]

fair enough—the book certainly seems to favor "make things strict enough so that your usual algorithms work" over "rewire your brain for laziness"