#for all #universal quantifier #aggregate #latin omnium #comprehensive set