Checking the Boxes: Formal Validity of an Arbitration Agreement