标签:实用与形式主义