Am I the only one who gets stumped by this once a year?

Am I the only one who gets stumped by this once a year?:

(typecase (make-instance 'mx-greater-eql)
(mx-greater 'mx-less)
(mx-greater-eql 'mx-less-eql)
(mx-less 'mx-greater)
(mx-less-eql 'mx-greater-eql))
-> 'mx-less

Hunh? The inverse of >= is <= and that's what my code says!...

Doh! Took me thirty minutes to figure out -- left as an exercise for noobs -- albeit while watching the Yankees win and the Pistons lose.

kt

--
http://smuglispweeny.blogspot.com/
http://www.theoryyalgebra.com/
ECLM rant: http://video.google.com/videoplay?docid=-1331906677993764413&hl=en
ECLM talk: http://video.google.com/videoplay?docid=-9173722505157942928&q=&hl=en
.