We were outvibecounterexamplemaxxing them when suddenly, they reoutvibecounterexamplemaxxed us.