Kripke's Puzzle about Time and Thought -- Yablo Sequences in Truth Theories -- Moving Up