thinking is for deducing.