英语 ⇄ 俄语 +

FLP Impossibility Theorem 强调
编程	теорема Фишера, Линч и Патерсона о невозможности консенсуса в системе со сбоями (wikipedia.org Krio)