履歴formula_1が線形化可能なのは、次のような完了した操作の線形順序がある場合である。