The States Of Theory by David Carroll & Ian Lilley