“The second condition falls out of the first”. Hi claude!