@Gargron "...and lo, it came to pass that December 17 became known as John Mastodon Day..."