first refutation for hw6