Automated reasoning in elementary geometry: towards inquiry learning. ph 2018, 2 (2), 1–13.