Thanks for the refresh, @Martin! :-) Let t be time until I'm back in math.se chat.: $n\in [9, 10)$, closer to 9, right now!