오라이가 공식이고 아라이는 비공식임?