pull out definition to extract values from a list of store values
partial progress on updating compile correctness thm