Definition:

quadruple