今atermって本当にそれでええんか?