RE: Domain model quotes from CHECKS pattern language paper.