Answered questions in Introduction and finished theory of Leader election.