What’s a Mall Tenant To Do?