unification of parameters: just updated the spec, not implemented yet