Diálogo 2: Introduciendo Formalmente