Definition:Quaternion Addition