Updates are available Correction dated 2018-11-24

Click to view Correction: https://doi.org/10.1007/S11229-018-01990-0