static void myTruthNonPersist(S bla) {
  myTruth_persistent = false;
  myTruth(bla);
}