<= => Introduction (2) <= =>
<= => Introduction (2) <= =>