Added for_all/exists/for_all2/exists2.