index, proofs, ant system