Bret Victor's review of Logic and Design, Revised: In Art, Science, And Mathematics