also take account of result 'ABORTED'