added docs to commutative formula header