Chapter 18: On-site Reasoning