Describing Church–Rosser as guaranteeing a 'unique final result' elides this independence, making th...