Boundary Logic