You will learn how to go from the building blocks that are harp functions, to putting them together in a script that will run the verifcation for all parameters.
