Oracle Outage at JPMorgan and Formal Proof of DB Validity · HackerTrans