I think I would prefer to keep the explicit example given how much confusion there has been on this.