self-defeating logic