If Not-Q8* entails E8, then E8 is logically guaranteed given Not-Q8*, making likelihood ratios trivi...
This proposition has not been edited since the history system was added.