Notes (+): In simplest terms, loop-erasure is a methodology for not repeating/replicating common walks (recorded as unique resource addresses); a most important checkpoint for obtaining a 0b. The sole purpose for loop-erasure is to ensure that stew choreography is as fast as possible. Needless to say, this intrinsically frees-up compute cycles, thereby increasing folding speeds. |
