A completely implemented graph with matching function and