4 ms·`any` corresponds to the existential quantifier, not the universal.by thewakalix 3y ago`any` corresponds to the existential quantifier, not the universal.