A good reminder to choose your models carefully when trying to prove something