@macie This is the line I'm asking about in #7 's discussion.