Amanductive Reasoning view 1