abstracting graphs