Rewrote conjecture() to use better caching