George3d6 answers Have general decomposers been formalized?