Pareto frontier generation seems to be working. Now to get some sort of verification flow working!