' implies '

implies

,'" i.e. "

implies that

implies