always implies

" when we mean that "

implies

" is always true. Propositions of the form "

always implies