I enjoyed the gamification of geometric proofs but I am 16 levels in and still do not understand the rules of the game. Sometimes I can yellow key a triangle and sometimes not, even though triangles are always 180 degrees. Sometimes an action appears to fail but the puzzle unlocks anyway. I don't know why the little circles are sometimes fully colored in and sometimes not.