. "Suppose E is a lean graph and E' is a proper instance of E." . . .