A correction of EWD914–15
Formula (20) on EWD914–15 should be replaced by
(20) [P ≡> (¬B ∨ wp(S,Q) ≡ Q)]
On EWD914–17, line 11
"⇒ {(20)}" should be replaced by "= {(20)}"
Peccavi!
