Consider the following commutative diagram in an Abelian category:

If all columns are exact, and the second and third rows are exact, then the first row must be exact.