>>677は集合でやろうとしたが途中で命題論理の変形をしてしまい自滅
逆に>>679は命題でやろうとして途中で集合の定理を使ってしてしまい自滅
といったところか。