Arrow's theorem in judgement aggregation | Synapse