Claim: Laurie Hernandez's middle name is Amanda.
Evidence: Lauren Zoe `` Laurie '' Hernandez -LRB- born June 9 , 2000 -RRB- is an American artistic gymnast.