どうやら、そのような書き方でも問題なさそうなので、その書き方に改めます。