Added Quantifiers and Checkers.