Actually, conjecture should be a plain dependency.