Definition of terminate