Also implement computation termination from UI