File:DM12.Formal.1A.Language.20180522.pdf