Pop culture written in logic – can you figure them out? (jdh.hamkins.org)