tim_smart: don't get too existentional!