A fortnight ago, Wamberto discussed the specification and verification of temporal properties of multi-agent systems. I will attempt to do likewise for the spatial properties of such systems. I shall present an informal overview of three different approaches and discuss the pros and cons of each.