La lógica que obtenemos si permitimos que "R" sea una relación binaria cualquiera en "W" es más débil que K.