これは些末なことであり、急務ではない。ひとまず保留とする。