Probably, yes. I struggled a bit to get all the cases correct (I hope they really are by now.) That's why I wrote the condition in this complicated form.