A great deal of Hilbert's work on geometry concerned the analysis of proofs, of what can, or cannot, be derived from what. Much of Hilbert's novel work on geometry involved the clever use of (arithmetical) models for geometrical systems to demonstrate a succession of independence results, which, among other things, often show how finely balanced various central assumptions are.[12] Moreover, a close reading of Hilbert's work makes it clear that the development of an appropriate axiom system itself goes hand-in-hand with the reconstruction and analysis of proofs.