Updates are available Correction dated 2020-08-14

Click to view Correction: https://doi.org/10.1007/S11229-020-02832-8