And now you know. This concludes our brief mini-series on “How Dinosaurs Became Extinct”. Thanks for joining us. Back to our regularly scheduled strips next weekend.