Bonnie, try this for descriptions of kinds of proofs: http://www.ukans.edu/heritage/research/dbd Patricia
