Seol mar théacs é seo: Mathematical modeling of pressurized thermodynamics.