I am wondering if the tenant lease agreement can be used to specify undesigned elements for EAp2 similar to how it is used to achieve other credits. For example, for the warehouse I am working on there are office spaces that are not designed yet, which according to 90.1 means the proposed and baseline systems will be the same and will be System 4 - PSZ-HP. However, the owner would like to write into the lease agreement that tenants will have to use high-efficiency packaged RTUs, so I would like to use this system in the proposed. Similar for the lights, they will demand power densities less than the default values. Can we document these savings in the energy model, as long as the requirements are set forth in the lease agreement? Thanks