a computer can reason that it exists