ReadGlim
A Deep Dive into Axiomatic Design -- Part I: Problem Formulation — ReadGlim