Book of Proof

P(x) = x is a Providence; S(x,y) = x protects y; R = union of the four sets: idiots, drunkards, children, USA

$\exists x, \forall y \in R, P(x) \land S(x, y)$

E(x) = Event happens to x, F(x) = x is funny

$\forall E, E(\neg me) \Rightarrow F(E)$