The market before 22 July 2017 (Amendment) | GovLens