Terminating Public Programs by