Extract names of all previous US presidents in the paragraph below: 
 The following are names of US presidents in the paragraph above: Thomas Jefferson (or Jefferson), George Washington.