な、ACL2のために百年構想捨てるなんて無理なんよ。こんなにヒス起こすサポーターばっかりやねんから。
どっちも大事。