is

" tells us something about

, namely, that if

is an

, then