Or very slightly curved - measurements come with error bars, so we can't be sure if it's exactly flat. Also note that flatness and finite size are compatible in

Or very slightly curved - measurements come with error bars, so we can't be sure if it's exactly flat. Also note that flatness and finite size are compatible in case of non-trivial topology (think of the flat torus - pacman world - which, however, is not isotropic).