zhurovandrew 18 Apr 2024 in Public A transition in T f \ T is faulty, and a computation is faulty if it MTS faulty transition