Once again, in the case of these variations, it is artificial to suppose that I need to go through the reasoning given, but nevertheless it is valid and implies the appropriate case of the double principle.