ready to pass conjectures to HipSpec.