It seems that the reasoning is correct