$(if $1,

) $(if $1$2,) $(if $1,$1) $(if $1$2,) $(if $1,

)