(09:06:15 PM) He: Doesn't the axiom of choice irritate you sometimes?
(09:06:25 PM) Me: not usually. It seems quite reasonable to me.
(09:06:38 PM) He: It's really the well ordering principle
(09:06:40 PM) Me: now, the well ordering principle bugs me.
(09:06:42 PM) He: that bugs me
Observe the 2 second deltas between the last three comments.
