Can anyone explain BEAF in Googology? How does it work? Or can you recommend a site or smth, where i can learn stuff like that?