On Plausible Goals for Automatic Discovery on Elementary Geometry