王熙鳳
王熙凤的判词称她“一从二令三人木”，指的是其夫贾琏一开始对她敬从，后来对她指使命令，最后被休掉的结局。“机关算尽太聪明，反算了卿卿性命！”高鹗的后续第114回写王熙凤因病而亡于荣府。
切消定理
相继式是与多个句子有关的逻辑表达式，形式为"formula_1"，它可以被读做"A, B, C, formula_2证明N, O, P"，并且（按Gentzen的注释）应当被理解为等价于真值函数"如果（A & B & C formula_2）那么（N or O or P）"。注意LHS（左手端）是合取（and）而RHS（右手端）是析取（or）。LHS可以有任意多个公式；在LHS为空的时候，RHS是重言式。在LK中，RHS也可以有任意数目的公式--如果没有，则LHS是个矛盾，而在LJ中，RHS只能没有或有一个公式：在右紧缩规则前面，允许RHS有多于一个公式，等价于容许排中律。注意，相继式演算是相当有表达力的框架，已经为直觉逻辑提议了允许RHS有多个公式的相继式演算，而来自Jean-Yves Girard的逻辑LC得到了RHS最多有一个公式的经典逻辑的更加自然的形式化；逻辑和结构规则的相互作用是它的关键。