empty quantification with any and all now reduce to FALSE and TRUE respectively