05 · Proving it

Design the benchmark