I used sheaf cohomology to build a pre-commit contradiction detector for graph databases