working on CLT proof for gradient