cubefox comments on utilistrutil’s Shortform

[cubefox]

This point was recently elaborated on here: Pascal’s Mugging and the Order of Quantification