( :none :two :one :both -> :r2 -> :r1 ( ((r1 r2 and)(both)) ((r1)(one)) ((r2)(two)) ((true)(none)) ) case ) :if2 (3 4 >) (0 0 ==) ("both are true") ("the first is true") ("the second is true") ("both are false") if2 puts! ;the second is true ;compare to regular if (4 even?) ("true") ("false") if puts! ;true