Have general decomposers been formalized? — AI Alignment Forum