A magic square is a square matrix with nonnegative integer entries whose line sums are all equal. Finding magic squares for a fixed size and line sum makes for fun puzzles, but how do we know when we've found them all? This question will be explored, revealing deep underlying mathematics that can be applied in much more generality.