no thankfully - because the condition in the branch below was a subset of the one above.