そもそもビジービーバー関数を最初に定義したのは漏れじゃありません。（当たり前だけど）
ビジービーバー関数の定義はとりあえず、>>839ということで理解して置いてください。
議論のうえで厳密な定義が必要になったときはまたそのとき考えましょう。