Why reordering the `case`s?