old faithful mathematical properties

var add = function(x, y) { return x + y };
var multiply = function(x, y) { return x * y };

// associative
add(add(x, y), z) == add(x, add(y, z));

// commutative
add(x, y) == add(y, x);

// identity
add(x, 0) == x;

// distributive
multiply(x, add(y,z)) == add(multiply(x, y), multiply(x, z));