For a LEED V4 Shell and Core building, where the lighting has already been installed as part of the Landlord works (and modelled accordingly using the ASHRAE 90.1 methodology), is there any requirement to include a stipulation in the Tenant Lease agreement for future tenants in relation to the lighting power density. We assume that since the lighting has been installed and the credits are already banked on that basis that there is no requirement to mandate any specific lighting targets for future tenants.