Describir: Realizabilidad clásica de Krivine