Claim: Laurie Hernandez's middle name is Amanda.
Label: REFUTES