Provision for the lease of the tea house on campus