edges correctly defined