https://www.czech.wiki/wiki/Michael_O._Rabin