Updates are available Correction dated 2021-07-13

Click to view Correction: https://doi.org/10.1007/S11709-021-0736-6