Bahia ancha pie de la cuesta. Faros ojo de demonio para auto. Manzanastitla. Modus ponens ejemplos.