one day open mind may fit on a pda and do reasoning