Updates are available Correction dated 2020-03-05

Click to view Correction: https://doi.org/10.1007/s11229-020-02617-z