necessity and possibility (of little naps)...

Now Daddy, was it □p↔~◊ ~p and ◊p↔~□ ~p? Or was it … oh, forget it…I’m just gonna take a little nap.