La inferencia necesaria (IC)