let s split these into imported not and tee not i would like to be able to tell if  for example  a key i imported landed in the tee  that gives some nice properties for all time after i import the key 