Review: Jim des Rivieres, Hector J. Levesque, The Consistency of Syntactical Treatments of Knowledge