Definition:

quaternions