intro to sys prog des

three part termination argument