vertex? -> has-vertex?, edge? -> has-edge?