Role of Logic in HSR | The (Mathematically Constrained) Unreasonable Effectiveness of Experience