Dimension and measure in finite first order structures — latest news, discussion & facts — IJR