Saturday, February 19, 2011

Taking a break from life, the definition

Assuming "taking a break from x" => break (x, length) =
           ~x if t > time.now and t < time.now + length where t <- time
           ~~x if t > time.now + length
Also ~life = death

Also ~death = zombie since zombie <- undead and ~death = undead

then break (life, y)  = ~life if t > time.now and t < time.now + y
=> death if t > time.now and t < time.now + y
      ~death if t > time.now + y

=> zombie if t > time.now + y

Therefore, after the break from life, you become a zombie.

No comments: