Text this: Herbrand schemes for cyclic proofs.