fixes #7. Added some conjectures