Verification Reports: A new article type at Cortex. (August 2020) - Chambers, Christopher D.