If a President is elected, then he or she won the nomination of a major party and received at least 270 Electoral College votes, even if he or she did not win the popular vote. Which one of the following must be true? ['No President who won the nomination of a major party received 270 Electoral College votes.', 'Some Presidents have received less than 270 Electoral College votes.', 'No President has received less than 270 Electoral College votes.', 'Some Presidents have won the popular vote.']