Exclusion: the necessary difference between ideal and practical consensus | Synapse