is

" means: "'

implies

' is always true." It is to be observed that "all

is