ALPHAGEOMETRY 2