Wolfgang Schwarz

Victory

On a more positive note, Prof. Beckermann found my speculations convincing: The next edition of his logic book won't contain "incorrect" quantifier rules any more.