  Given a sequence of properly embedded minimal surfaces in a $3$-manifold with
local bounds on area and genus, we prove subsequential convergence, smooth away
from a discrete set, to a smooth embedded limit surface, possibly with
multiplicity, and we analyze what happens when one blows up the surfaces near a
point where the convergence is not smooth.
