Premise: We employed two sophisticated computer models, the Regulatory Modeling System for Aerosols and Deposition (REMSAD) and the Comprehensive Air Quality Model with Extensions (CAMx) to estimate changes to the concentration of particulate matter and ozone, respectively, resulting from the Clear Skies Act.

Hypothesis: The Regulatory Modeling System for Aerosols and Deposition was one of the computer models we used.
Relation: entailment