The settlement-oracle problem is now a courtroom problem — type0 | type0