Have general decomposers been formalized? — LessWrong