In fact, this does not need to be initialized since an `else` block is defined below.