Hypergraphs Applied to Commutative Algebra, or, why prove theorems when you can draw pictures?