4.3.1 Example 1: engineer irreversibility