Another overhaul on conjecture()