Beginnings of the hugin formula.