TESTING: added test case for all quantification.