Expressiveness, Verifiability, Tractability: Toward a Computational Thermodynamics1 versionW_enfpv58wv1 · current