[seanmcgregor]

Thanks, and with help, our implementation will monotonically increase in convincingness.