as do these three lines