Text this: Un ejemplo de articulación de la lógica y la geometría dinámica en un curso de geometría plana.