Finished abstractions for experiments