implies not-

' is always true."

"Some

is not

" means "'