hole-and-corner(a)