Formally equidimensional