According to LEEDv4 reference guide, tenants' lighting system must be modeled identically in the proposed building and in the baseline, as specified by Appendix G (unless energy savings are being claimed). In this case, is any evidence required to demonstrate that shops lighting system have a power density identical to baseline (e.g. by means of tenants lease agreement)?