>>196 他はよさげだけど

forall x [A(x)∧B(x)] ＝ forall x[A(x)]∧ forall y[B(x)]

forall x[A(x)] ∨ forall[B(x)] = exist x[A(x)∨B(x)]

の２つは気になる（特に後者）