The following two lines should be equivalent: