4-1 · IE浏览器本身是不支持TLS1.3的，最高只支持TLS1.2。
套了个edge的壳，就支持TLS1.3了。

4-1 · .
5.buzz
这里指的是“热议”，可以引申为“热度”

4-1 · .
4.share
这里指的是“有同样的感情（或想法、经历等）”

4-1 · .
3.Let them eat cake!
语出法国路易十六的王后玛丽·安托瓦内特，形容以轻佻态度看人家的困苦。（相应典故可以说是西方版的“何不食肉糜”）

4-1 · .
2.strangeling
n.①奇怪的孩子；②异类

4-1 · .
1.be sick of
对……感到厌烦

4-1 · .
1.stream
这里指“直播”

4-1 · 周翠：《公司决议诉讼的功能定位与程序机制》，载《中外法学》2019年第3期，第753-754页。
股东大会决议是有别于合同的特殊的多方民事法律行为。法人依照法律或者章程规定的议事方式和表决程序作出决议的，该决议行为成立，而且民事法律行为原则上自成立时生效，除非法律另有规定或者当事人另有约定。依此，股东大会决议一旦作出，原则上就生效，故股东并无请求法院确认决议有效之必要。换言之，股东针对积极决议提起的积极确认之诉并无权利保护之必要。同样，被告在决议无效之诉的过程中提起反诉请求确认决议...

4-1 · 回复 @响：
左边 ∀x(P(x) ∧ Q(x))：论域里的任意一个个体 x，都同时满足 P (x) 和 Q (x)
右边 ∀xP(x) ∧ ∀xQ(x)：论域里所有个体都满足 P (x)，并且论域里所有个体都满足 Q (x)

4-1 · ？变元应该不同吧，辖域不同