These two mappings form a Galois insertion of Def into ??(Subst) [Armstrong et al.
For any [Sigma] [element of] Subst, Models([Alpha].sub.Def]({[Sigma]})) = {ground([Sigma]')|[Sigma]' [element of][[Delta].sub.[Sigma]]}.
We show now that this insertion of Def into Sharing is coherent with the insertions of Sharing into ??(Subst), and of Def into ??(Subst).
One recent study using NIDA data determined that adolescents who reported using steroids were at greater risk than their peers for using other illicit drugs, alcohol, and tobacco; fighting; attempting suicide; taking sexual risks; taking vehicular risks; and pathogenic weight loss (
Subst. Use Misuse 2005;40:1637-57).