thinking about codimensions