Do we care about this?  (I have no idea what it is for.)