Part I: Theory -- Chapter 1. The Logic of State-Trace Analysis -- Chapter 2.