Update to "Dominant Assurance Contract Platform" — LessWrong