More rigorous Gibbs free energy / spontaneity relationship

More rigorous Gibbs free energy / spontaneity relationship