1.1-completing conjectures

12 years ago