Request/Fix translation
" عَنْ عَلِىٍّ قَالَ: مَا مَاتَ رَسُولُ الله ﷺ حَتَّى عَرَفْنَا أَنَّ أَفْضَلَنَا بَعْدَهُ أَبُو بَكْرٍ، وَمَا مَاتَ رَسُولُ الله ﷺ حَتَّى عَرَفْنَا أَنَّ أَفْضَلَنا بَعْدَ أَبِى بَكْرٍ عُمَرُ، وَمَا مَاتَ رَسُولُ الله ﷺ حَتَّى عَرَفْنَا أَنَّ أَفْضَلَنَا بَعْدَ عُمَرَ رَجُلٌ آخَرُ لَمْ يُسَمِّه - يَعْنِى عثمَانَ ".