Principio de contingencia desde R17