Quinn comments on Please Measure Verification Burden