まあ、良かった
これでACL2を一旦忘れて仕切り直しができる
上には上がいる
気を引き締めることができるという点ではこのトレマは成功