Odd implications on >>6064325 (See edit history). I'm not quite sure what they were implied by, so I thought I'd post this in case there's some mistake in them.
Odd implications on >>6064325. I'm not quite sure what they were implied by, so I thought I'd post this in case there's some mistake in the implications.