Counting Stars {LTL}