An introduction to hard disk geometry