English: Now, note that T₁ is not appearing at all, because T₁ committed before the check point that is it.
Telugu: ఇప్పుడు, T₁ గమనించండి అస్సలు కనిపించడం లేదని, ఎందుకంటే T₁ చెక్ పాయింట్ ముందు కమిట్ చేయబడి ఉంది.