Text this: Frankfurt-Counterexamples and the w-Defense