The program terminates by our Assumption (X).
Program bizim Varsayım (X) koşulumuz sağlanınca durur.