Updates are available Correction dated 2019-10-17

Click to view Correction: https://doi.org/10.1007/s11229-019-02434-z