Ordered quadruple