This `else` clause will probably never be executed