let logic_of_mem (_,tbl) = tbl