inching towards a usable hindsight axiom