In verteilten Systemen ist Einigkeit nicht blo schwierig, sondern unter bestimmten Bedingungen mathematisch beweisbar unmoglich.