Abramsky, 2011. Big toy models 186.. https://doi.org/10.1007/s11229-011-9912-x