This book was... difficult? I don't think I entirely understood it, although I enjoyed the journey. Apparently it was written as a senior project about modal logic, and I don't really know what modal logic is, so... that's a problem.