Quinn comments on Have general decomposers been formalized?