added formal graph implementation