punctured intervals