Same here: this could be an instance double.