Intergrated logic trees for conditional expressions.