new lease subgroup of lease, 17 assertions