 However we end up characterizing gaps, it is undeniably the case that most actual proofs as presented by mathematicians have gaps. Don Fallis proposes a taxonomy of kinds of proof gaps in his (2003):