All quantifier code has been written --not tested yet