x
Have general decomposers been formalized? — LessWrong