Գրեք սա: Automated deduction in geometry