if – – x

if — x

if – – x

if x

if x —

if x – –

if x –

if x

if x – x —

fi x

(fi x) (jf x)

————-

(if x) (fi x)

if –2 x2

if – – x

if — x

if – – x

if x

if x —

if x – –

if x –

if x

if x – x —

fi x

(fi x) (jf x)

————-

(if x) (fi x)

if –2 x2