アラーノのコメントありがとうございます
決定力は課題ですが期待するしかないですね
ACL2のためにももう少し頑張って欲しい