((or (<= side1 0) (<= side2 0) (<= side3 0))
       (error "classify-triangle: sides must have positive length"))