Restriction Boundary Logic