George3d6 comments on Have general decomposers been formalized?