The purpose is to document that the only possible case for the `else` branch is the `doubledouble` case.