lesson quiz: tautological statements