Tutorial 16: Symbolization using the quantifiers