Basilで導入されたProgress / Fairness property 正しいクライアントcが発行するすべての操作oについて、Byzantineなアクターのグループがoの結果を変えることができない