[math-fun] What is Gibbs?