I learned Paxos but not Raft. From memory, step one of Raft was to come to consensus on a leader. Isn't that in itself entirely what Paxos solves?