But I agree with your meta-point that I implicitly assumed SSA together with my “assumption 5” and SSA might not follow from the other assumptions
But I agree with your meta-point that I implicitly assumed SSA together with my “assumption 5” and SSA might not follow from the other assumptions