Just out of curiosity, why are these two lines equivalent?