((< (+ side1 side2) side3) 
       (error "classify-triangle: sides do not describe a triangle"))