Acknowledgments

A book about engineering practice depends on people willing to make a problem concrete. A careful counterexample, a record of a failure, or a question about a vague explanation can all make the work more reliable.

Thank you also to readers who take the time to examine the arguments. Inconsistencies, unstated assumptions, and differences between an example and a real system provide the starting points for further revision.