SPACE LOGIC