弦太が控えててよかったわ、なんならACL2でここまで連れてきてくれたのも弦太やし。