((if true + *) 2 3)