＞え、ごめんお前のそのクソバカ思考は「理解」はできんわ。
>a の定義が ab の場合
>a は ab と言い換えられる
＞じゃあその続きは、ab＝a。
＞終わり。

この文を見る限り、
ボコボコにした と、その定義 ボコボコにしたと思うこと は言い換えられる関係性にあるという事だよね？