Arthur tries deduction with beer, bureaucracy, and an ID card (logic is valid; humans remain under review). Branches are followed, errors are flagged, contradictions are processed. Civilization continues.