Agreement: all other processors know who the leader is.
일치화 (Agreement) : 모든 다른 프로세서들이 누가 리더인지 알아야한다.