implies

." Thus our fifth principle yields:

"If

implies

, then '

implies