Started working on quantifiers.
Checkpoint: Using ObjectInterface
Finished and/all/the quantifiers.