prog def bool args a b di `a'&`b' di `a'|`b' di !`a' end