Title: The teaching of elementary formal geometry