I agree that “x C y, and y P z. Therefore, x C z” is wildly unintuitive, causes problems, and is just plainly wrong. But...
...
...actually, looking back, you’re right. I apologise; I misread the definition of C* (I read w P y instead of y P w).
I’m going to have to look through it again before I can comment further.
I agree that “x C y, and y P z. Therefore, x C z” is wildly unintuitive, causes problems, and is just plainly wrong. But...
...
...actually, looking back, you’re right. I apologise; I misread the definition of C* (I read w P y instead of y P w).
I’m going to have to look through it again before I can comment further.