edges() -> graph()
simplifications, filter vertices, too