Is it bad if I'm so bored that I've started counting how many stars I can see up there?

*gestures to the wide open ceiling of the Great Hall*