 Terence Horgan (1982) has proposed a version of supervenience in terms of individual regions of space-times, rather than in terms of objects. A weak and a strong version of Horgan’s “regional supervenience” can be formulated as follows: