What does it mean to think about the world using models? This is a style of thinking that's especially developed and formalized in science, but is really useful for everyday reasoning as well. I'll explain what I mean by a model, talk about the differences between commonly-understood Bayesian reasoning and model-checking, and give some examples pulled from my research and from everyday experience.