" means "'

implies

' is always true."

"Some

is