Boltzmann entropy S = k_B ln W

Entropy as ln multiplicity; additive for independent subsystems; Gibbs definition S = -k_B Σ p_i ln p_i reduces to it for equiprobable W states.