Exact truthfulness is incompatible with soundness and completeness for sequential binary prediction, but approximately truthful calibration measures can get exponentially close to truthful while retaining both properties.
We find a way to multiply 7 × 7 matrices over F2 using 245 multiplications, a three-multiplication improvement over the previous record.