Review and changes from Jocelyn Fiat

here this was an error .. if the  server_nonce_list is empty ... `last' will raise a precondition violation!!!