Title: Applied Formal Graph Theory