20% of adults smoke. A recent Gallup survey of 1016 randomly selected adults showed that 21% of the respondents smoke. Express the original claim in symbolic form.