assert *inner* dimmensions are conforming.