raven paradox