Test addition/doubling laws