>>497
形式的に必要なのは関数記号だけだな