C Guldberg-P Waage 1864 K_eq=Π[products]/Π[reactants]; modern Gibbs-formal-entropy + thermodynamic-cycles + ICE-tables.