Symbolism and smiles during the stoning of the devil ritual at the Hajj