conjectures and refutation