Fixed Symmetric to be associative as it should be, made definition of composition clearer.