What is Jim's definition of if?