Logicians Are Weird

1. "t "x (f(x,t) ’ j(x, t+1))

2. f(Elwood, t)

3. Elwood eats cookies at t+1 ’ ~j(Elwood, t+1)

4. So, ~(Elwood eats cookies at t +1)