También era novedad la lógica proporcional.