Thinking About Logic Opus P by Stephen Read