further specification on inv_list
start implementation of law_list