Added logistics example using quantifiers only