when reasoning from first principles there is a "log" which you can look back and reflect on which helps to reevaluate either the axioms or inference steps. thi

when reasoning from first principles there is a "log" which you can look back and reflect on which helps to reevaluate either the axioms or inference steps. this is more time consuming. reasoning by pattern matching is quicker , when you fail you search for new patterns this is useful when the outcome is of low impact. both are useful tools from my experience.