spatial logic