a square hole in the rock wall