Activity Coefficient Formula Thermodynamics