to abort [ aborted ; aborted ]