Metatheoretical Questions and Methods in Elementary Geometry