Computation And Logic In The Real World door