Intrinsic termination
 
x
OK