16.2. REASON-ORDER