A new way to build software: start with the domain, formalize its logic, and let technology become derived.


The domain becomes the source of truth.