Re: [math-fun] A family of lattices including both FCC, BCC, and a new(?) lattice