László Babai: Recent breakthrough result on graph isomorphism: what goes into the actual proof - - - - -