"spatial logic" . "spatial logic" . . .