These two lines are divergent.