Proving Uniformity in an Infinite Arithmetic Mean Grid | Problems