这算严谨还是形式主义？[无聊][无聊][无聊] ​​​