system models prompting the search for reductions ▶ Growth of distributed software applications: blockchain, distributed file systems, network apps Design and Implementation of Highly Scalable Quantifiable