# Predicate Logic and Popular Culture (Part 80): Liverpool FC

Let $W(x,t)$ be the proposition “You walk with $x$ at time $t$.” Translate the logical statement

$\lnot \exists t \forall x \lnot W(x,t)$.

The straightforward way of translating this into English is, “It’s false that there exists a time that you will walk with nobody.” Using DeMorgan’s Laws, this can be rewritten as

$\forall t \exists x W(x,t)$,

or “At all times, you’ll walk with somebody.”

Nevertheless, the more complicated version matches the anthem of Liverpool FC.