Undoubling is_valid