Reductive Reasoning detail