IM Reasoning