Very unclear. What is a "new" graph? What is the difference between "endow" and "demand" (Could we think of endowment as a logical demanding?) The headline in parid0420 mentions nodes only, but nodes and arcs are in the text. parid0247 discusses bootstrapping assertion types, but they are not mentioned here. Why?