Comment by semi-extrinsic

I am entirely unsure whether to upvote or downvote.