punctured

not defined yet