found a "bug" in one of my proofs! (thanks, cibele)