Why do you think the graphs we use to represent coding fragments place the test condition on the graph's EDGES and place the executed instructions (set, equivalence, call, etc) on the graph's NODES? Do that make sense to you? Would you recommend it be done differently? With regard to graphs, (1) why is it a good idea to separate the first (entry) node from any looping nodes? and (2) why is it a good idea to have JUST ONE alternative direction, given an operation? [For instance if X < Y we go from node 3 to node 4 ONLY and no other node]