starting on writing specs for LeaseTerm_verify.