4.2.1 Input-Output Rules