The following two lines should be identical: