are these two lines not equivalent?