min(1 + 1)
