can you give a better name to `dct`? It is not clear what it stores - we only know it is stored as dictionary