태그 formal가 있는 모델