1.2.2.3. Puns as a Literary Device in the Story of David and Goliath