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.