A new area of graph theory with connections to formal logic and number theory. I've discovered ten theorems so far. I included four open problems that spring out of the field.