out of curiosity, which one is the bigger part of your "financial cushion" nowadays? is it still mostly the ex-Google income/savings or has the TinyPilot exit taken that place?