Case and Counter Systems