."

We now observe that

means "

implies both

and