{"CombinatorialRiddle" -> "A combinatorial riddle from Assaf: Prove \
$\\sum_{k=0}^n \\binom{2(n-k)}{n-k}\\binom{2k}{k}=4^n$."}
