adding reified count_eq