Or should we just concede the 2023 National League West title to the San Diego Padres right now?