paperSecrets and QuantifiersarXiv:2404.08015AbstractA close look at double-quantified statements in a playful setting.