The module counting.py no longer depends on jsmodels.py.