Meanwhile, gaining a better understanding of the core concepts of A12, I believe that the purpose of the Kernel-Language in A12 is solely the intrinsic validation of A12 documents for consistency and NOT a DSL to enrich documents with derived or otherwise calculated properties that should be maningful for external business-logic. I believe ther is confusion about this among modellers and developers, it would be good to clarify this. Am I somehow right with my interpretation or wrong?