to restart [ restarted ; restarted ]