I don't think this simplification should append in `.subs` ... can you avoid it, or does your implementation rely on this?