For the record, we decided to leave it up to the user.