Two extensions of the use of graphs in elementary logic | lit.salon