implies that

implies

."

Writing

in place of