Constructor theory2013-04-110 PRE AI DOI:10.1007/s11229-013-0279-zOriginalOriginal request for helpShareSaveAbstract En