Pelkkä `(and (pred1 x) (pred2 x))` riittää semmoisenaan. Ympäröivä `if` on tarpeeton.