Indeed I just figured out how to view them. Wow. https://en.wikipedia.org/w/index.php?title=Michael_O._Rabin&...