Restored conjecture.py, going to put new version in its own branch