2 ms·Existentials are always true trivially.by seanmcdirmid 2mo agoExistentials are always true trivially.