  The classical Dodgson identity can be interpreted as a quadratic identity of
spanning forest polynomials, where the spanning forests used in each polynomial
are defined by how three marked vertices are divided among the component trees.
We prove an analogous result with four marked vertices.

Combinatorics