if thinker