Mapping from variables to lhprobes, identifying SVTV variables with signals at a time
This is an ordinary defalist.