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.