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