min-of-power(0)