Ultraproducts as a tool for first-order inexpressibility in the finite and infinite

Ultraproducts are a well-known tool in the classical model theory of first-order logic. We explore their uses in the context of finite model theory.