This is a very basic introduction to Abstract Interpretation, merely setting the scene and gaining intuition about how to tease interesting semantic properties out of a program.