A double rainbow. It's not something you see every day. I'm sure there are people that have never seen one in real life. You're quite lucky. It must have been nice to see.