vertex aspect of graph, 36 assertions