Comments on Abortive Logic