Using Directed Simplicial Theory to prove work-a-day mathematics