Create conjeture.ipynb