The promise of automated compliance checking. (March 2021)