Amanductive Reasoning view 2