Better attribution in ConjectureF.