Judging automation: Towards a normative critical theory | Synapse