# Component terms

The original countable-presentation map proofs, finite model, diagram, generator, rational checks and solutions are dedicated under CC0 1.0, to the extent of rights held. The [complete CC0 dedication](../labelled-geometric-kernel/LICENSE-CC0.txt) accompanies the shared resources. Human sources retain their terms.

The unchanged DejaVuSans.ttf and complete font notice are read from the adjacent labelled-geometric-kernel resources; the SVG embeds both. Python and Pillow are required rather than bundled, with their complete notices retained in the shared software-notices folder. No additional font copy is supplied.