An example project that shows how to perform lean modeling with NatSpec